;; There is only one block, A, which is on the table.  A can with
;; red paint is on the table.  There is a clean brush on the
;; table.  Our goal is to have A be red and the arm empty.

(define (problem 1)
  (:domain hw6)
  (:objects blockA brush can )
  (:init 
	(on-table blockA)(on-table can)(on-table brush) 
	(not (color blockA Red))(arm-empty) (clean brush)
	(paint can Red))
  (:goal (and (arm-empty) (color blockA Red))))



